Future temporal logic needs infinitely many modalities
نویسندگان
چکیده
منابع مشابه
Atom canonicity, and omitting types in temporal and topological cylindric algebras
We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal α. The former are cylindric algebras of dimension α expanded with S4 modalities indexed by α. The semantics of representable topological algebras is induced by the interior operation relative to a topology defined on their bases. Tense cylindric algebras are cylindric algebras expanded by...
متن کاملOn Almost Future Temporal Logics
Kamp’s theorem established the expressive completeness of the temporal modalities Until and Since for the First-Order Monadic Logic of Order (FOMLO) over real and natural time flows. Over natural time, a single future modality (Until) is sufficient to express all future FOMLO formulas. These are formulas whose truth value at any moment is determined by what happens from that moment on. Yet this...
متن کاملDecidable metric logics
Article history: Received 15 July 2007 Revised 8 May 2008 Available online 11 October 2008 Thecommonmetric temporal logic for continuous timewereshowntobe insufficient,when it was proved that they cannot express a modality suggested by Pnueli. Moreover no finite temporal logic can express all the natural generalizations of this modality. It followed that if we look for an optimal decidable metr...
متن کاملNo Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic
Kamp’s theorem established the expressive completeness of the temporal modalities Until and Since for the First-Order Monadic Logic of Order (FOMLO) over real and natural time flows. Over natural time, a single future modality (Until) is sufficient to express all future FOMLO formulas. These are formulas whose truth value at any moment is determined by what happens from that moment on. Yet this...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 187 شماره
صفحات -
تاریخ انتشار 2003